Revision: tla-tools--devo--0--patch-81
Archive: miles@gnu.org--gnu-2003
Creator: Miles Bader <miles@gnu.org>
Date: Tue Sep 23 20:02:55 EDT 2003
Standard-date: 2003-09-24 00:02:55 GMT
Modified-files: ChangeLog
New-patches: miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-81
Summary: Update ChangeLog after merge with tla--x

